2081. Systems of reductions
Author: / B. Benninghofen, S. Kemmerich, M.M. Richter
Library: Library of College of Science University of Tehran (Tehran)
Subject: Rewriting systems (Computer science),Algebra, Universal -- Data processing,Computer algorithms
Classification :
QA
267
.
B46
1987
2082. Systolic algoritms
Author: / edited by David J. Evans
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Computer algorithms
Classification :
QA
76
.
9
.
A43S9
1991
2083. Systolic computations
Author: Frumkin, Mikhail Aleksandrovich
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer algorithms,، Systolic array circuits,، Integrated circuits -- Large scale integration
Classification :
QA
76
.
9
.
A43F8
2084. Systolic computations
Author: / by M.A. Frumkin
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer algorithms,Systolic array circuits,Integrated circuits -- Large scale integration
Classification :
QA
76
.
9
.
A43
F78
1992
2085. Systolic parallel processing
Author: / Nikolay Petkov
Library: Library of College of Science University of Tehran (Tehran)
Subject: Parallel processing (Electronic computers),Computer algorithms
Classification :
QA
76
.
58
.
P48
1993
2086. TREAT :
Author: Daniel P. Miranker.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Artificial intelligence.,Expert systems (Computer science),Parallel processing (Electronic computers)
2087. Term rewriting and applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings
Author: Frank Pfenning )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
76
.
L28
Vol
.
4098
2088. Term rewriting and applications: 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
267
.
I555
2006
2089. Test pattern generation using Boolean proof engines
Author: / by Rolf Drechsler ... [et al.]
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Integrated circuits--Verification,Computer software--Verification,Computer algorithms.,Algebra, Boolean.
Classification :
TK
,
7874
.
58
,.
T47
,
2009
2090. Test pattern generation using Boolean proof engines
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Integrated circuits ; Verification. ; Automatic test pattern generation. ; Automatic test equipment. ; Computer algorithms. ; Algebra, Boolean. ; ATPG. ; swd. ; Hardwareverifikation. ; swd. ; Integrierte Schaltung. ; swd. ;
2091. Testing and tuning market trading systems :
Author: Timothy Masters.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C++ (Computer program language),Computer algorithms.,Data mining.,Algorithms & data structures.,C++ (Computer program language),Computer algorithms.,COMPUTERS-- Programming-- Algorithms.,COMPUTERS-- Programming Languages-- C++,Data mining.,Finance.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
73
.
C153
2092. The Amazing Journey of Reason
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: output equipment (Computers). ; Computer communication systems. ; Operating systems (Computers). ; Algorithms. ; Mathematical logic. ; Math Applications in Computer Science. ; -Mathematics. ; Input-Computer science
2093. The Design and analysis parallel alogrithms
Author: / Selim G, Aki
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Parallel processing (Electronic computers),Computer algorithms
Classification :
QA
76
.
58
.
A4D4
2094. The Design and analysis parallel alogrithms
Author: / Selim G, Aki
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Parallel processing (Electronic computers),Computer algorithms
Classification :
QA
76
.
58
.
A4D4
2095. The Desin and analysis of parallel algorithms
Author: Akl, Selim G.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Parallel programming )Computer science(,، Algorithms
Classification :
QA
76
.
6
.
A38
1989
2096. The Lanczos method :
Author: Louis Komzsik
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms,Computer science-- Mathematics,Eigenvalues,Numerical analysis
Classification :
QA76
.
9
.
M35
K66
2003
2097. The Lanczos method: evolution and application
Author: Komzsik, Louis
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Mathematics ، Computer science,، Numerical analysis,، Computer algorithms,، Eigenvalues
Classification :
QA
76
.
9
.
M35
K66
2098. The Logic of Partial Information
Author: by Areski Nait Abdallah.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
7
B937
1995
2099. The Macintosh bible /
Author: Sharon Zardetto Aker.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mac OS.,Macintosh (Computer),ALGORITHMS.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,FILE MAINTENANCE (COMPUTERS),Macintosh (Computer),MICROCOMPUTERS.,PROGRAMMING LANGUAGES.,SOFTWARE TOOLS.
Classification :
QA76
.
8
.
M3
A4368
1998
